#ifndef __TSS_H
#define __TSS_H
#include"thread.h"
void init_tss(void);
void update_tss_esp0(task_tcb*);
#endif
